definition by recursion

[数] 用递归定义